#include <stdio.h>


int main()
{
    printf("%s:%d\n",__FILE__,__LINE__);
    printf("%s:%d\n",__FILE__,__LINE__);
    printf("%s:%d\n",__FILE__,__LINE__);
    return 0;
}

